矩阵指数函数

状态转移矩阵

Exponential of Matrix

求解微分方程组的工具,求解状态空间方程

Description

前置知识:泰勒级数 矩阵 指数函数 状态空间方程
本节就是建立在齐次微分方程(齐次状态空间方程)的求解的基础上,借助泰勒级数的形式,定义的矩阵指数函数。

一、基本定义

系统输入量为零时,由初始状态引起的自由运动,可以表示为齐次微分方程:

x˙=Ax

设状态方程的解为 t 的向量幂级数,则有:

x(t)=b0+b1t+b2t2+⋯+bktk+⋯x˙(t)=b1+2b2t+⋯+kbktk−1+⋯=A(b0+b1t+b2t2+⋯+bktk+⋯)

对比系数可以得到:b1=Ab0,bk=1kAbk−1=1k!Akb0,令 b0=x0, 得到:

x(t)=(I+At+12A2t2+⋯+1k!Aktk+⋯)x0

由泰勒级数知:

ex=1+x+12!x2+13!x3+14!x4+⋯

则定义齐次微分方程的解为:

eAt=Φ(t)=I+At+12!At2+13!At3+14!At4+⋯

反映从初始时刻的状态矢量 x0 到时刻 t 的状态矢量 x(t) 的矢量变化关系(在状态空间中转移)

二、状态转移矩阵的基本性质

Φ(t)Φ(τ)=Φ(t+τ)Φ(t−t)=Φ(0)=I [Φ(t)]−1=Φ(−t)⇔(eAt)−1=eA(−t) Φ˙(t)=AΦ(t)=Φ(t)A⇒A=Φ˙(t)Φ(t)−1|t=0=Φ˙(0) AB=BA⇒eAteBt=e(A+B)t

三、特殊矩阵的指数函数

由状态向量的线性变换知道:

当特征值无重根时:

T−1AT=Λ⇒Φ(t)=eAt=TeΛtT−1Λ=(λ1λ2⋱λn)eΛt=(eλ1teλ2t⋱eλnt)

当特征值有重根时:

T−1AT=J⇒Φ(t)=eAt=TeJtT−1J=(λ1λ1⋱⋱λ1λ)n×neJt=eλt(1t12!t2⋯1(n−1)!tn−101t⋯1(n−2)!tn−2⋮⋮⋮⋱⋮000⋯t000⋯1)J=(λ1λ1λ)3×3eJt=eλt(1t12!t201t001)

四、简要证明

这里只简要证明: 当特征值无重根时, eAt=TeΛtT−1

容易知道:

deAtdt=0+A+A2t+12!A3t+⋯=A(eAt)

如果 x 为矩阵 A 的特征向量,λ 为特征值,则有:

eAtx=eλtx eΛt=I+Λt+12!(Λt)2+13!(Λt)3+⋯=(11⋱1)+(λ1tλ2t⋱λnt)+(12!λ112!λ2⋱12!λn)+⋯=(eλ1teλ2t⋱eλnt)

由矩阵的特征分解知:矩阵可以进行对角化,进一步有

A=XΛX−1⇒An=XΛnX−1 eAt=I+At+12!At2+13!At3+14!At4+⋯=XX−1+XΛX−1t+12!XΛ2X−1t+13!XΛ3X−1+⋯=XeΛtX−1

AI 结构化补充(2026-05-02)

Exponential of Matrix

求解微分方程组的工具,求解状态空间方程

Description

前置知识:泰勒级数 矩阵 指数函数 状态空间方程
本节就是建立在齐次微分方程(齐次状态空间方程)的求解的基础上,借助泰勒级数的形式,定义的矩阵指数函数。

一、基本定义

系统输入量为零时,由初始状态引起的自由运动,可以表示为齐次微分方程:

x˙=Ax

设状态方程的解为 t 的向量幂级数,则有:

x(t)=b0+b1t+b2t2+⋯+bktk+⋯x˙(t)=b1+2b2t+⋯+kbktk−1+⋯=A(b0+b1t+b2t2+⋯+bktk+⋯)

对比系数可以得到:b1=Ab0,bk=1kAbk−1=1k!Akb0,令 b0=x0, 得到:

x(t)=(I+At+12A2t2+⋯+1k!Aktk+⋯)x0

由泰勒级数知:

ex=1+x+12!x2+13!x3+14!x4+⋯

则定义齐次微分方程的解为:

eAt=Φ(t)=I+At+12!A2t2+13!A3t3+14!A4t4+⋯

反映从初始时刻的状态矢量 x0 到时刻 t 的状态矢量 x(t) 的矢量变化关系(在状态空间中转移)

二、状态转移矩阵的基本性质

Φ(t)Φ(τ)=Φ(t+τ)Φ(t−t)=Φ(0)=I [Φ(t)]−1=Φ(−t)⇔(eAt)−1=eA(−t) Φ˙(t)=AΦ(t)=Φ(t)A⇒A=Φ˙(t)Φ(t)−1|t=0=Φ˙(0) AB=BA⇒eAteBt=e(A+B)t

三、特殊矩阵的指数函数

由状态向量的线性变换知道:

当特征值无重根时:

T−1AT=Λ⇒Φ(t)=eAt=TeΛtT−1Λ=(λ1λ2⋱λn)eΛt=(eλ1teλ2t⋱eλnt)

当特征值有重根时:

T−1AT=J⇒Φ(t)=eAt=TeJtT−1J=(λ1λ1⋱⋱λ1λ)n×neJt=eλt(1t12!t2⋯1(n−1)!tn−101t⋯1(n−2)!tn−2⋮⋮⋮⋱⋮000⋯t000⋯1)J=(λ1λ1λ)3×3eJt=eλt(1t12!t201t001)

四、简要证明

这里只简要证明: 当特征值无重根时, eAt=TeΛtT−1

容易知道:

deAtdt=0+A+A2t+12!A3t+⋯=A(eAt)

如果 x 为矩阵 A 的特征向量,λ 为特征值,则有:

eAtx=eλtx eΛt=I+Λt+12!(Λt)2+13!(Λt)3+⋯=(11⋱1)+(λ1tλ2t⋱λnt)+(12!λ12t212!λ22t2⋱12!λn2t2)+⋯=(eλ1teλ2t⋱eλnt)

由矩阵的特征分解知:矩阵可以进行对角化,进一步有

A=XΛX−1⇒An=XΛnX−1 eAt=I+At+12!A2t2+13!A3t3+14!A4t4+⋯=XX−1+XΛX−1t+12!XΛ2X−1t2+13!XΛ3X−1t3+⋯=XeΛtX−1

五、常系数系统中的特征解

矩阵指数把常系数线性微分方程组

x˙=Ax

写成

x(t)=eAtx(0).

如果 Av=λv,则

x(t)=eλtv

是一个纯指数解。可对角化时,令 A=XΛX−1,得到

eAt=XeΛtX−1,x(t)=∑icieλitvi.

例如

A=(1102),x(0)=(21).

特征值为 1,2,特征向量可取 (1,0)T,(1,1)T,且 x(0)=(1,0)T+(1,1)T,所以

x(t)=et(10)+e2t(11).

当重复特征值缺少足够特征向量时,eJt 中的上三角幂零部分会产生 teλt 等项;当 AT=−A 时,eAt 是正交矩阵,因而保持状态向量长度。